Issue2442-terminating.agda:5,1-24
Cannot use NON_TERMINATING pragma with safe flag.
